Generalization of Superposition of Rectangles based on Direction Relations
نویسندگان
چکیده
We present a method of superposing rectangles. The superposition is under the condition that some of the regions should be visible. We first define a qualitative spatial representation of the rectangles. In particular, direction relations are used to express the positions of the must-be-visible regions. The representation is extendable to accommodate higher degree of granularity, and therefore to cover any arrangement of regions. Properties of success and effectiveness are defined to evaluate the superposition.
منابع مشابه
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL
We formalize and verify the superposition of rectangles in Isabelle/HOL. The superposition is associated with the arrangement of rectangular software windows while keeping some regions visible and other hidden. We adopt a qualitative spatial reasoning approach to represent these rectangles and the relations between their regions. The properties of the model are formally proved and show some cha...
متن کاملSpatial Relations, Minimum Bounding Rectangles, and Spatial Data Structures
Despite the attention that spatial relations have attracted in domains such as Spatial Query Languages, Image and Multimedia Databases, Reasoning and Geographic Applications, they have not been extensively applied in spatial access methods. This paper is concerned with the retrieval of topological and direction relations using spatial data structures based on Minimum Bounding Rectangles. We des...
متن کاملOn the Retrieval of Direction Relations using R-trees∗
Abstact: R-trees and related structures, like R+-trees and R*-trees, have been used to answer queries involving topological information about objects represented by their minimum bounding rectangles (MBRs). This paper describes how the R-tree method can be used for the storage and retrieval of direction relations. Direction relations deal with order in space, as for instance, left, above, north...
متن کاملA Strong Regular Relation on ?-Semihyperrings
The concept of algebraic hyperstructures introduced by Marty as a generalization of ordinary algebraic structures. In an ordinary algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two elements is a set. The concept of ?-semihyperrings is a generalization of semirings, a generalization of semihyperrings and a generalizat...
متن کاملApplication of fundamental relations on n-ary polygroups
The class of $n$-ary polygroups is a certain subclass of $n$-ary hypergroups, a generalization of D{"o}rnte $n$-arygroups and a generalization of polygroups. The$beta^*$-relation and the $gamma^*$-relation are the smallestequivalence relations on an $n$-ary polygroup $P$ such that$P/beta^*$ and $P/gamma^*$ are an $n$-ary group and acommutative $n$-ary group, respectively. We use the $beta^*$-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015